home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / CAD.LZH / FANOUTS.PRO < prev    next >
Text File  |  1987-04-05  |  2KB  |  67 lines
  1. Output from the goal "testfanouts<CR>." for Mark
  2. Karpovsky's circuit "samcir.pro".
  3.  
  4.  Note: For some reason, the runtime became prohibitive in finding
  5. the following goal: gentestoutp( o2, sa1, In, Out ) 
  6. (output of gate o2).
  7.  
  8. Hence I manually intervened and gave the substitute goal:
  9. gentestinp( p2, 2, sa1, In, Out ), 
  10. (input of gate p2 from o2).
  11.  
  12. This resulted in the following test generation:
  13. In = [n5(0), n3(0), n1(1)], 
  14. Out = [n33(db)]
  15. This is equivalent to the Prolog statement:
  16. test(o2,output,sa1,[n5(0), n3(0), n1(0)]).
  17.  
  18. The remainder of this file is the result of the goal:
  19. "testfanouts", which is a clause which automatically 
  20. determines fanout points from the netlist description.
  21.  
  22.  
  23. test(o2,output,sa0,[n11(0),n9(1),n7(0),n5(1),n3(0),n1(1)],[n33(d)]).
  24.  
  25. test(o3,output,sa1,[n11(1),n9(1),n5(1),n3(0),n1(0)],[n32(db)]).
  26.  
  27. test(o3,output,sa0,[n11(1),n9(1),n7(0),n5(0),n3(0),n1(0)],[n32(d)]).
  28.  
  29. test(o4,output,sa1,[n9(0),n7(0),n5(1),n3(1),n1(0)],[n33(db)]).
  30.  
  31. test(o4,output,sa0,[n11(0),n9(1),n7(0),n5(1),n3(1),n1(0)],[n33(d)]).
  32.  
  33. test(p2,output,sa1,[n5(0),n3(0),n1(0)],[n33(db)]).
  34.  
  35. test(p2,output,sa0,[n9(0),n7(0),n5(1),n1(1)],[n33(d)]).
  36.  
  37. test(p3,output,sa1,[n9(0),n5(0),n3(1),n1(0)],[n34(db)]).
  38.  
  39. test(p3,output,sa0,[n7(0),n5(0),n3(0),n1(1)],[n34(d)]).
  40.  
  41. test(p5,output,sa1,[n5(0),n3(0)],[n33(db)]).
  42.  
  43. test(p5,output,sa0,[n11(0),n9(1),n5(0),n3(1)],[n33(d)]).
  44.  
  45. test(p6,output,sa1,[n11(0),n3(0),n1(0)],[n32(db)]).
  46.  
  47. test(p6,output,sa0,[n11(1),n7(0),n5(0),n3(0),n1(0)],[n32(d)]).
  48.  
  49. test(p7,output,sa1,[n9(0),n3(1)],[n31(db)]).
  50.  
  51. test(p7,output,sa0,[n11(1),n7(0),n5(1),n3(0)],[n31(d)]).
  52.  
  53. test(p8,output,sa1,[n5(0),n3(0)],[n33(db)]).
  54.  
  55. test(p8,output,sa0,[n11(0),n9(1),n7(0),n5(1),n3(0),n1(0)],[n33(d)]).è
  56. test(q1,output,sa1,[n7(1),n5(1),n3(0),n1(1)],[n34(db)]).
  57.  
  58. test(q1,output,sa0,[n5(0),n3(1),n1(1)],[n34(d)]).
  59.  
  60. test(q2,output,sa1,[n7(1),n5(1),n3(0),n1(1)],[n34(db)]).
  61.  
  62. test(q2,output,sa0,[n7(0),n5(0),n3(0),n1(0)],[n34(d)]).
  63.  
  64. test(q4,output,sa1,[n7(1),n5(1),n3(0),n1(1)],[n34(db)]).
  65.  
  66. test(q4,output,sa0,[n11(1),n9(0),n7(0),n5(1),n3(0),n1(0)],[n34(d)]).
  67.